1. Based Systems-Logical Tools for Handling Change in Agent
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Coherent systems
المؤلف: / Karl Schlechta
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
3. Coherent systems
المؤلف: / Karl Schlechta
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
4. Conditionals and Modularity in General Logics
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
5. Conditionals and Modularity in General Logics
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
6. Der Fall Nietzsche;Aufsaetze und Vortrage
المؤلف: / Kral Schlechta
المکتبة: مكتبة كلية اللغات الأجنبية وآدابها (طهران)
موضوع: Nietzsche, Friedrich Wilhelm, 1844-1900
رده :
B
3316
.
S26
1967
7. Formal methods for nonmonotonic and related logics.
المؤلف: Karl Schlechta.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
8. Formal methods for nonmonotonic and related logics.
المؤلف: Karl Schlechta.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
9. Friedrich Nietzsche
المؤلف: Nietzsche, Friedrich Wilhelm
المکتبة: المکتبه المرکزیه لاکادمیه اللغه الفارسیه و آدابها (طهران)
موضوع: ، Nietzsche, Friedrich Wilhelm, 4481-0091,، Philosophy
رده :
B
3312
.
A2
1976
10. Logical tools for handling change in agent-based systems
المؤلف: Dov M. Gabbay, Karl Schlechta
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
11. Nietzsche-Chronik
المؤلف: / zusammengestellt von Karl Schlechta
المکتبة: مكتبة كلية اللغات الأجنبية وآدابها (طهران)
موضوع: Nietzsche, Friedrich Wilhelm, 1844-1900
رده :
B
3316
.
S26
1984
12. Nonmonotonic logics : basic concepts, results, and techniques
المؤلف: Schlechta, Karl.
المکتبة: (طهران)
موضوع: Default reasoning , Logic , Artificial intelligence , Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
13. Nonmonotonic logics: basic concepts, results, and techniques
المؤلف: Schlechta, Karl
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Default reasoning,، Logic,، Artificial intellgence,، Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
14. Nonmonotonic logics : basic concepts, results and techniques
المؤلف: Karl Schlechta
المکتبة: (طهران)
موضوع: ، Default reasoning,، Logic,، Artificial intelligence,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1187
15. Werke in drei Banden
المؤلف: Nietzsche, Friedrich Wilhelm
المکتبة: المکتبه المرکزیه لاکادمیه اللغه الفارسیه و آدابها (طهران)
موضوع: ، Nietzsche, Friedrich Wilhelm, 4481-0091,، Philosophy
رده :
B
3312
.
A5
N5
1966
